大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书(共3598本)

Numerical methods for ordinary differential equations : proceedings of the workshop held in L'Aquila (Italy), Sept. 16-18, 1987

0
索取号:O132-51/E90107
作者:
出版社:Berlin ; New York : Springer-Verlag, c1989.

Combinatorial mathematics IX : proceedings of the Ninth Australian Conference on Combinatorial Mathematics, held at the University of Queensland, Brisbane, Australia, August 24-28, 1981

0
索取号:O132-51/E90101
作者:Australian Conference on Combinatorial Mathematics (9th : 1981 : University of Queensland)、Billington、 Elizabeth J.、 1947-、Oates-Williams、 Sheila、 1939-、Street、 Anne Penfold.、
出版社:Berlin ; New York : Springer-Verlag, 1982.

Functional analysis : proceedings of the seminar at the University of Texas at Austin, 1987-89

0
索取号:O177-53/E993
作者:
出版社:Berlin ; New York : Springer-Verlag, c1991.

Complex analysis : proceedings of the S.U.N.Y. Brockport Conference

0
索取号:O174.5/E806
作者:State University of New York Conference on Complex Function Theory、 State University College at Brockport、 1976.、Miller、 Sanford S.、 1938.、
出版社:New York : M. Dekker, c1978.

Commutative algebra : proceedings of a workshop held in Salvador, Brazil, Aug. 8-17, 1988

0
索取号:O153-53/E992
作者:
出版社:Berlin ; New York : Springer-Verlag, c1990.

Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980

0
索取号:O132-51/E9097
作者:
出版社:Berlin ; New York : Springer-Verlag, 1981.

Conference on applications of numerical analysis : held in Dundee/Scotland, March 23-26, 1971

0
索取号:O132-51/E8042
作者:Conference on Applications of Numerical Analysis (1971 : University of Dundee、 Scotland)、Morris、 John Ll.、
出版社:Berlin : Springer-Verlag, 1971.

Singular perturbations and asymptotics

0
索取号:O175.5-53/E901
作者:Meyer、 Richard E.、 1919-、Parter、 Seymour V.、University of Wisconsin--Madison.、
出版社:New York : Academic Press, 1980.

Towards global optimisation : proceedings of a workshop at the University of Cagliari, Italy, October 1974

0
索取号:O224/E8012
作者:
出版社:Amsterdam : North-Holland Pub. Co. ; New York : American Elsevier Pub. Co., 1975.

還りゆく道 / エリッチ·マリア·レマルク[著]; 眞晝の暗黒

0
索取号:I14/J9011
作者:Remarque、 Erich Maria、 1898-1970 DA00829585、Koestler、 Arthur、 1905-1983 DA00142242、岡本成蹊、岩淵達治、
出版社:東京 : 三笠書房, 1955.6

アウンサン将軍と三十人の志士 : ビルマ独立義勇軍と日本

0
索取号:K778/J901
作者:Bo Min Gaung、 1920-1983、田辺寿夫、
出版社:東京 : 中央公論社, 1990.7

クレオパトラ : 消え失せし夢

0
索取号:K834.11/J901
作者:Benoist-Méchin、 1901-1983 DA0043256X、両角良彦、
出版社:東京 : みすず書房, 1979.2

十七度線の北 : ヴェトナムの戦争と平和

0
索取号:K1/J9036
作者:Burchett、 Wilfred G.、 1911-1983 DA00619458、中野好夫、
出版社:東京 : 岩波書店, 1957.5

紀元2000年 : 33年後の世界

0
索取号:G303/J9014
作者:Kahn、 Herman、 1922-1983 DA0029725X、Wiener、 Anthony J. DA0440603X、井上勇、
出版社:東京 : 時事通信社, 1968.5

超大国日本の挑戦

0
索取号:D731.3/J90129
作者:Kahn、 Herman、 1922-1983 DA0029725X、坂本二郎、風間禎三郎、
出版社:東京 : ダイヤモンド社, 1970.10

オリエントの嵐

0
索取号:K370.2/J901
作者:Benoist-Méchin、 1901-1983 DA0043256X、牟田口義郎、
出版社:東京 : 筑摩書房, 1964.3
最近添加的分类